大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Design Automation Technical Committee 的图书(共7308本)

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support [electronic resource] : Results of the IMPROVE Project

0
索取号：
作者：Nagl、 Manfred.、Marquardt、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings

0
索取号：
作者：Berekovi膰、 Mladen.、Dimopoulos、 Nikitas.、Wong、 Stephan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computer Aided Verification [electronic resource] : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

0
索取号：
作者：Gupta、 Aarti.、Malik、 Sharad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Embedded Robotics [electronic resource] : Mobile Robot Design and Applications with Embedded Systems

0
索取号：
作者：Br盲unl、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Deontic Logic in Computer Science [electronic resource] : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

0
索取号：
作者：Meyden、 Ron.、Torre、 Leendert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Operations Research Proceedings 2006 [electronic resource] : Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Jointly Organized with the Austrian Society of Operations Research (脰GOR) and the Swiss Society of Operations Research (SVOR) Karlsruhe, September 6鈥謠2006

0
索取号：
作者：Waldmann、 Karl-Heinz.、Stocker、 Ulrike M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

How to Write Technical Reports [electronic resource] : Understandable Structure, Good Design, Convincing Presentation

0
索取号：
作者：Hering、 Lutz.、Hering、 Heike.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

The Future of Product Development [electronic resource] : Proceedings of the 17th CIRP Design Conference

0
索取号：
作者：Krause、 Frank-Lothar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Interactive Systems. Design, Specification, and Verification [electronic resource] : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

0
索取号：
作者：Doherty、 Gavin.、Blandford、 Ann.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

SOFSEM 2007: Theory and Practice of Computer Science [electronic resource] : 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings

0
索取号：
作者：Leeuwen、 Jan.、Italiano、 Giuseppe F.、Hoek、 Wiebe.、Meinel、 Christoph.、Sack、 Harald.、Pl谩拧il、 Franti拧ek.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Pneumatic Drives [electronic resource] : System Design, Modelling and Control

0
索取号：
作者：Beater、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Perception in Multimodal Dialogue Systems [electronic resource] : 4th IEEE Tutorial and Research Workshop on Perception and Interactive Technologies for Speech-Based Systems, PIT 2008, Kloster Irsee, Germany, June 16-18, 2008. Proceedings

0
索取号：
作者：Andr茅、 Elisabeth.、Dybkj忙r、 Laila.、Minker、 Wolfgang.、Neumann、 Heiko.、Pieraccini、 Roberto.、Weber、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Ada 2005 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1

0
索取号：
作者：Taft、 S. Tucker.、Duff、 Robert A.、Brukardt、 Randall L.、Ploedereder、 Erhard.、Leroy、 Pascal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Intelligence and Security Informatics [electronic resource] : IEEE ISI 2008 International Workshops: PAISI, PACCF, and SOCO 2008, Taipei, Taiwan, June 17, 2008. Proceedings

0
索取号：
作者：Yang、 Christopher C.、Chen、 Hsinchun.、Chau、 Michael.、Chang、 Kuiyu.、Lang、 Sheau-Dong.、Chen、 Patrick S.、Hsieh、 Raymond.、Zeng、 Daniel.、Wang、 Fei-Yue.、Carley、 Kathleen.、Mao、 Wenji.、Zhan、 Justin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Distributed Computing in Sensor Systems [electronic resource] : 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings

0
索取号：
作者：Nikoletseas、 Sotiris E.、Chlebus、 Bogdan S.、Johnson、 David B.、Krishnamachari、 Bhaskar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Sensors [electronic resource] : Advancements in Modeling, Design Issues, Fabrication and Practical Applications

0
索取号：
作者：Mukhopadhyay、 S.C.、Huang、 R.Y.M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.